<?php
$z[0]=Array("global","",67,92);
$z[0][4]['name']="autoindex";
$z[1]=Array("arcurl","",194,209);
$z[2]=Array("title","",211,225);
$z[3]=Array("global","",257,282);
$z[3][4]['name']="autoindex";
$z[4]=Array("arcurl","",365,380);
$z[5]=Array("title","",382,396);
$z[6]=Array("global","",428,453);
$z[6][4]['name']="autoindex";
$z[7]=Array("arcurl","",564,579);
$z[8]=Array("title","",581,595);
$z[9]=Array("typeurl","",714,731);
$z[10]=Array("typename","",756,774);
$z[11]=Array("arcurl","",789,804);
$z[12]=Array("title","",806,820);

?>